4870277f4c0c838eee5d3337c0ccfee035527c0d,src/main/java/com/jetbrains/jetpad/vclang/typechecking/termination/BaseCallMatrix.java,BaseCallMatrix,toString,#,236

Before Change


    }
    result += "\n";
    for (int i = 0; i < myHeight; i++) {
      result += String.format("%" + max + "s", rowLabels[i]);
      for (int j = 0; j < myWidth; j++)
        result += String.format("%" + (columnLabels[j].length() + 1) + "s", String.valueOf(rToChar(getValue(i, j))));
      result += "\n";

After Change


    result.append('\n');

    for (int i = 0; i < myHeight; i++) {
      result.append(StringFormat.rightPad(max, rowLabels[i]));
      for (int j = 0; j < myWidth; j++) {
        result.append(StringFormat.rightPad(columnLabels[j].length() + 1, rToChar(getValue(i, j))));
      }